(0 19 5)(1 16 14)(2 7 4)(3 18 17)(6 11 8)(9 20 12)(10 15 13)
ALLOWS (11/8)-SEQUENCE
1: (12 18 20)
(0 19 5)(1 16 14)(2 7 4)(3 18 9 20 17)(6 11 8)(10 15 13)(12)
2: (3 18 17)
(0 19 5)(1 16 14)(2 7 4)(3)(6 11 8)(9 20 17)(10 15 13)(12)(18)
3: (0 19 5)
(0)(1 16 14)(2 7 4)(3)(5)(6 11 8)(9 20 17)(10 15 13)(12)(18)(19)
4: (2 7 4)
(0)(1 16 14)(2)(3)(4)(5)(6 11 8)(7)(9 20 17)(10 15 13)(12)(18)(19)